north korea troops russia war